/*
 * terminator.cpp
 *
 *  Created on: Nov 7, 2013
 *      Author: m
 */

#include "DefinicionesComunes.h"
#include "Cinta13A.h"
#include "Cinta13B.h"
#include "Cinta15.h"
#include "Robot11AProductor.h"
#include "Robot11BProductor.h"
#include "Robot14Consumidor.h"
#include "Robot14Productor.h"
#include "Robot16Consumidor.h"

using namespace ipc;

int main ( int argc, char* argv[] )
{
    /*
     * Destruyo IPCs
     */
    Cinta13A::destroy();
    Cinta13B::destroy();
    Cinta15::destroy();
    Robot11AProductor::destroy();
    Robot11BProductor::destroy();
    Robot14Consumidor::destroy();
    Robot14Productor::destroy();
    Robot16Consumidor::destroy();

    return 0;
}
